# partial define
partial_object["key"] := "val" if {
    1 == 2
}
default partial_object := {"key":"val"}
partial_object_exist if {
    partial_object # success
}
partial_object_expected if {
    partial_object == {"key":"val"} # failure
}

complete_object := {"key":"val"} if {
    1 == 2
}
complete_object_exist if {
    complete_object # failure
}

# user function
is_integer(x) := true {
    round(x) == x
} else := false # use 'default' keyword will fail
